The comparison theory of hod pairs below AD + + “ The largest Suslin cardinal is a member of the Solovay sequence ” ∗ †
نویسنده
چکیده
We develop the basic theory of hod mice below the Largest Suslin Axiom (LSA), which says that the largest Suslin cardinal is a member of the Solovay sequence. We also prove comparison theorem for such hod mice in the context of AD+. This is the first paper in planned sequence of three papers that eventually will establish that Mouse Set Conjecture holds provided there is no inner model satisfying LSA. Over the last two decades the Mouse Set Conjecture (MSC) has become one of the central open problems in inner model theory. One of the main reasons for this is that MSC is intimately connected with the inner model program, which is the program for constructing canonical inner models for large cardinals. Moreover, ∗2000 Mathematics Subject Classifications: 03E15, 03E45, 03E60. †
منابع مشابه
The comparison theory of hod pairs below AD + + “ The largest Suslin cardinal is a member of the Solovay sequence ” ∗ † Grigor Sargsyan
We develop the basic theory of hod mice below the Largest Suslin Axiom (LSA), which says that the largest Suslin cardinal is a member of the Solovay sequence. We also prove comparison theorem for such hod mice in the context of AD+. This is the first paper in planned sequence of three papers that eventually will establish that Mouse Set Conjecture holds provided there is no inner model satisfyi...
متن کاملThe analysis of HOD below the theory AD + + “ The largest
The main contribution of this paper is a the analysis of HOD below the theory AD+ + “The largest Suslin cardinal is a member of the Solovay sequence”. It is shown that below the aforementioned theory, HOD of models of AD+ are fine structural models and hence, satisfy GCH. We also show that the aforementioned theory is consistent relative to a Woodin cardinal which is a limit of Woodin cardinals...
متن کاملInner Models and Ultrafilters in L(R)
We present a characterization of supercompactness measures for ω1 in L(R), and of countable products of such measures, using inner models. We give two applications of this characterization, the first obtaining the consistency of δ13 = ω2 with ZFC+AD , and the second proving the uniqueness of the supercompactness measure over Pω1 (λ) in L(R) for λ > δ21. Starting with the work of Steel [13] it b...
متن کاملHOD in natural models of AD+
The goal of this paper is to compute the full HOD of models of AD of the form L(℘(R)) below “ADR + Θ is regular”. As part of this computation, we give a computation of HOD|Θ left open in [3] for Θ a successor in the Solovay sequence. Our work, when combined with [3], shows that in AD models of the form L(℘(R)) below “ADR + Θ is regular”, HOD satisfies GCH.
متن کاملMore structural consequences of AD
Woodin and Steel showed that under AD + DCR the Suslin cardinals are closed below their supremum; Woodin devised an argument based on the notion of strong ∞-Borel code which is presented here. A consequence of the closure of the Suslin cardinals below their supremum is that the Suslin cardinals and the reliable cardinals coincide, the proof of this fact is also included. Woodin’s argument yield...
متن کامل